Many Solutions Vs Intractability - Intro To Theoretical Computer Science